Buy Used and New K. Rustan M. Leino Books

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... 9583 (Lecture Notes in Computer Science)

by Barbara Jobstmann,K. Rustan M. Leino

ISBN 13: 9783662491218

Format: Paperback (572 pages)
Publisher: Springer
Published: 26 Dec 2015

Save for later

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

by Alexandra Silva,K. Rustan M. Leino

ISBN 13: 9783030816872

Format: Paperback (966 pages)
Publisher: Springer
Published: 17 Jul 2021

Save for later

Program Proofs

by K. Rustan M. Leino,Kaleb Leino

ISBN 13: 9780262546232

Format: Paperback (496 pages)
Publisher: MIT Press
Published: 07 Mar 2023

Save for later